The use of knowledge management systems and Event-B modelling in a lean enterprise

This paper provides a case study describing an approach to improving the efficiency of an information system (IS) by supporting processes outside the IS, using the ontology-driven knowledge management systems (KMS) as a mini-application in the area of so-called lean enterprise. Lean enterprise is focused on creating a maximal value for final customers while eliminating all kinds of waste and unnecessary costs, which significantly helps to increase the level of its competitiveness. It is about managerial decision-making, which can be in some cases contradictory (solving a local problem can cause a problem in another place). In this paper, we describe the KMS ATOM, which supports the innovation process in a lean enterprise. We show how the risk of wrong decisions due to contradictory effects can be eliminated by implementing a safety-critical system into the traditional IS. Our model is supported by Event-B modelling, a refinement-based formal modelling method, which is successfully used in important areas such as infrastructure, medicine, nuclear engineering and transportation (fire alarm systems, robotic surgery machines, braking systems in transportation, etc.). Nowadays, Event-B modelling is starting to be used for various management decision-making activities, and it is becoming a powerful competitiveness tool. This paper introduces a simple example of how Event-B modelling and its proof obligations can help improve and automate the decision-making process by eliminating potential threats of inefficient decisions.RVO project "Modelling of effective production and administration processes parameters in industrial companies based on the concept Industry 4.0

Management of logistics processes in ERP systems

This article is dealing with management of logistics processes in information system, concrete ERP systems. Dilemma of effective management of logistics processes grows in importance at the present times. The first part of this paper is engaged with theoretical framework of logistic processes and their management by helping information technology. At the end of the first part the benefits of ERP systems are summarized. The second part is devoted to practical management of these processes in the Microsoft Dynamics NAY. This part shows how the benefits can be created by using information system

The balanced scorecard and its practical applications in oracle balanced scorecard

In today's rapidly changing world, strategy management is a vital element of management. In connection with this, there exists a necessity to translate strategy into definite goals and steps. This facilitates communication of corporate strategy to staff at a company, and execution is simpler for an employee of the firm. Furthermore, it is imperative to maintain feedback on information about the state of performance objectives. The methodology of the Balanced Scorecard proves most appropriate for this task. Implementing the Balanced Scorecard, however, cannot be successful without the support of a high-quality business information system as, especially within a larger business, this concept will not function if not working with large amounts of data and information. This paper deals with applying Balanced Scorecard methodology in business information systems, focusing on practical applications in Oracle Balanced Scorecard. Beginning with a brief overview of current knowledge about the Balanced Scorecard, it includes a discourse on the essential logic of this methodology and a presentation of its individual components. Attention is also paid to the role of the Balanced Scorecard in strategic management. Following this, focus switches to the support of the Balanced Scorecard in information systems. In this section of the paper, concentration is placed on Business Intelligence and Corporate Performance Management and their relation to the above-mentioned methodology. In the main body of this study, practical solutions are addressed that support this methodology within the information system of Oracle. This part is divided into two chapters. First, a solution is dealt with from the perspective of Viewers (end users). The major benefits for employees of the company are highlighted, as is the influence on the effectiveness of their work. The other portion is devoted to the duties of designers - people transposing the Balanced Scorecard into an information system. Therefore, it constitutes a way of setting up and customizing the Balanced Scorecard within an information system. Finally, this paper summarizes the main benefits of integrating the Balanced Scorecard and an information system, such as aligning corporate goals with those of employees, improved communication and better feedback

The balanced scorecard and its practical applications in oracle balanced scorecard

In today's rapidly changing world, strategy management is a vital element of management. In connection with this, there exists a necessity to translate strategy into definite goals and steps. This facilitates communication of corporate strategy to staff at a company, and execution is simpler for an employee of the firm. Furthermore, it is imperative to maintain feedback on information about the state of performance objectives. The methodology of the Balanced Scorecard proves most appropriate for this task. Implementing the Balanced Scorecard, however, cannot be successful without the support of a high-quality business information system as, especially within a larger business, this concept will not function if not working with large amounts of data and information. This paper deals with applying Balanced Scorecard methodology in business information systems, focusing on practical applications in Oracle Balanced Scorecard. Beginning with a brief overview of current knowledge about the Balanced Scorecard, it includes a discourse on the essential logic of this methodology and a presentation of its individual components. Attention is also paid to the role of the Balanced Scorecard in strategic management. Following this, focus switches to the support of the Balanced Scorecard in information systems. In this section of the paper, concentration is placed on Business Intelligence and Corporate Performance Management and their relation to the above-mentioned methodology. In the main body of this study, practical solutions are addressed that support this methodology within the information system of Oracle. This part is divided into two chapters. First, a solution is dealt with from the perspective of Viewers (end users). The major benefits for employees of the company are highlighted, as is the influence on the effectiveness of their work. The other portion is devoted to the duties of designers - people transposing the Balanced Scorecard into an information system. Therefore, it constitutes a way of setting up and customizing the Balanced Scorecard within an information system. Finally, this paper summarizes the main benefits of integrating the Balanced Scorecard and an information system, such as aligning corporate goals with those of employees, improved communication and better feedback

Увођење новог флексибилног система планирања људских ресурса засновано на дигиталном близаничком приступу: Студија случаја

Digital twin technology has become one of the key directions of intelligent manufacturing with a strong relationship to product lifecycle management. It contributes to increasing efficiency and flexibility in solving highly complex problems in constantly changing conditions. However, many circumstances make the real implementation of effective scenarios generated by simulation software tools difficult. One of them are rigid working schedules that complicate flexible human resources planning in accordance with optimal production and logistics plans. This article aims to examine the role of the digital factory twin in advanced human resources planning. Using the case study method, a solution for better coordination of internal logistics processes and utilization of logistics staff based on discrete-event simulation is presented. Several scenarios were tested and results showed the inevitability of using flexible working schedules for maximum utilization of logistics staff. The purpose of this study is not only to show one special case of one company, but to emphasize the potential of these software tools to achieve long-term synergies in coordinating logistics, production and human resources management activities. As a result of this study, an extended physical-digital -physical loop model is presented. This extension consists in adding the second loop including communication with HR portal.RVO project; [VaV-IP-RO/2022/01

Zarządzanie logistyczne jako ograniczenie systemowe

This paper presents a comparative simulation model of several logistic systems and their impact on operational performance. It stresses the importance of logistic processes and their management in the context of lean production and the theory of constraints. The main goal of our experimental study is to prove how significantly supporting logistic processes can influence production process performance in situations where logistic management represents a system constraint. More specifically, our study considers the capacity of handling units, and their impact on material flow continuity and efficiency. The experimental model is based on real data that was acquired by the authors over the last several years during their research and practical experience. Our results are presented in the form of software statistics that were provided after the experiment and compared with the set hypotheses. The experimental study has shown that a managerial decision to increase the capacity of handling units does not always result in the expected behaviour pattern. © 2017, Czestochowa University of Technology. All rights reserved.RVO project "Modelling of effective production and administration processes parameters in industrial companies based on concept Industry 4.0

Model event-B DLA zwiększenia efektywności zarządzania hurtownią

With raising customers’ requirements and competition forces, companies face the pressure to increase both the efficiency and flexibility of production and logistic processes thatdirectly influences their management activities. This article deals especially with the processes related to chaotic storage systems using automated high bay warehouse technologies operated by traditional automated crane-based storage and retrieval systems (AS/RS) that have become popular in recent years as systems supporting the lean management philosophy in accordance with growing requirements of the fourth industrial revolution. Presented proof obligation Event-B model includes advanced algorithms for automated storage and retrieval warehouse activities that should ensure the higher efficiency and flexibility of both logistic and all consequent processes. The algorithms are based on the idea of continuous relocation of stored items during an automated stacker crane´s idle times in order to ensure faster delivery of future orders from better accessible positions. It supports automated decision-making in warehouse management systems in accordance with lean principles. The proposed solution was verified by experimental model processed by a discrete even simulation software, which confirmed its positive impact on the flexibility of storage and retrieval activities. Its implementation into the real practice increases the accuracy of warehouse management processes which directly influence the production management and other decision-making activities. © 2018, Czestochowa University of Technology. All rights reserved.Wraz z podnoszeniem wymagań klientów i siłami konkurencji, przedsiębiorstwa napotykają presję, aby zwiększyć zarówno wydajność, jak i elastyczność procesów produkcyjnych i logistycznych, co bezpośrednio wpływa na ich działania zarządcze. Artykuł dotyczy w szczególności procesów związanych z chaotycznymi systemami magazynowania wykorzystującymi zautomatyzowane technologie magazynowe wysokiego składowania obsługiwane przez tradycyjne zautomatyzowane systemy magazynowania i wyszukiwania oparte na dźwigach (AS / RS), które stały się popularne w ostatnich latach jako systemy wspierające filozofię lean management zgodnie z rosnącymi wymaganiami czwartej rewolucji przemysłowej. Zaprezentowany dowód certyfikacji, Model Event-B, zawiera zaawansowane algorytmy do zautomatyzowanego przechowywania i wyszukiwania działań magazynowych, które powinny zapewnić wyższą wydajność i elastyczność zarówno procesu logistycznego, jak i wszystkich powiązanych procesów. Algorytmy opierają się na idei ciągłego przemieszczania przechowywanych przedmiotów w czasie bezczynności automatycznych dźwigów ładunkowych w celu zapewnienia szybszego dostarczania przyszłych zamówień z lepiej dostępnych pozycji. Obsługuje automatyczne podejmowanie decyzji w systemach zarządzania magazynem zgodnie z zasadami lean. Proponowane rozwiązanie zostało zweryfikowane za pomocą modelu eksperymentalnego przetworzonego przez dyskretne oprogramowanie symulacyjne, które potwierdziło jego pozytywny wpływ na elastyczność działań związanych z przechowywaniem i odzyskiwaniem. Jego wdrożenie w rzeczywistą praktykę zwiększa dokładność procesów zarządzania magazynem, które bezpośrednio wpływają na zarządzanie produkcją i inne działania decyzyjne

THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE

This paper provides a case study describing an approach to improving the efficiency of an information system (IS) by supporting processes outside the IS, using the ontology-driven knowledge management systems (KMS) as a mini-application in the area of so-called lean enterprise. Lean enterprise is focused on creating a maximal value for final customers while eliminating all kinds of waste and unnecessary costs, which significantly helps to increase the level of its competitiveness. It is about managerial decision-making, which can be in some cases contradictory (solving a local problem can cause a problem in another place). In this paper, we describe the KMS ATOM, which supports the innovation process in a lean enterprise. We show how the risk of wrong decisions due to contradictory effects can be eliminated by implementing a safety-critical system into the traditional IS. Our model is supported by Event-B modelling, a refinement-based formal modelling method, which is successfully used in important areas such as infrastructure, medicine, nuclear engineering and transportation (fire alarm systems, robotic surgery machines, braking systems in transportation, etc.). Nowadays, Event-B modelling is starting to be used for various management decision-making activities, and it is becoming a powerful competitiveness tool. This paper introduces a simple example of how Event-B modelling and its proof obligations can help improve and automate the decision-making process by eliminating potential threats of inefficient decisions